Background: Although convolutional neural networks (CNNs) achieve high diagnostic accuracy for detecting Alzheimer’s disease (AD) dementia based on magnetic resonance imaging (MRI) scans, they are not yet applied in clinical routine. One important reason for this is a lack of model comprehensibility. Recently developed visualization methods for deriving CNN relevance maps may help to fill this gap as they allow the visualization of key input image features that drive the decision of the model. We investigated whether models with higher accuracy (...) also rely more on discriminative brain regions predefined by prior knowledge. Methods: We trained a CNN for the detection of AD in N = 663 T1-weighted MRI scans of patients with dementia and amnestic mild cognitive impairment (MCI) and verified the accuracy of the models via cross-validation and in three independent samples including in total N = 1655 cases. We evaluated the association of relevance scores and hippocampus volume to validate the clinical utility of this approach. To improve model comprehensibility, we implemented an interactive visualization of 3D CNN relevance maps, thereby allowing intuitive model inspection. Results: Across the three independent datasets, group separation showed high accuracy for AD dementia versus controls (AUC ≥ 0.91) and moderate accuracy for amnestic MCI versus controls (AUC ≈ 0.74). Relevance maps indicated that hippocampal atrophy was considered the most informative factor for AD detection, with additional contributions from atrophy in other cortical and subcortical regions. Relevance scores within the hippocampus were highly correlated with hippocampal volumes (Pearson’s r ≈ −0.86, p < 0.001). Conclusion: The relevance maps highlighted atrophy in regions that we had hypothesized a priori. This strengthens the comprehensibility of the CNN models, which were trained in a purely data-driven manner based on the scans and diagnosis labels. The high hippocampus relevance scores as well as the high performance achieved in independent samples support the validity of the CNN models in the detection of AD-related MRI abnormalities. The presented data-driven and hypothesis-free CNN modeling approach might provide a useful tool to automatically derive discriminative features for complex diagnostic tasks where clear clinical criteria are still missing, for instance for the differential diagnosis between various types of dementia. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...) Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

The definition of acedia presents unique conceptual problems among the eight Evagrian logismoi. Its descriptions are so complex and varied as to render the concept seemingly incoherent. This article argues that the conceptual unity of acedia has been obscured by the translation of Evagrian logismoi into the ‘deadly sins’ tradition, resulting in a category error. Acedia is more properly understood, not as a psychological state or a sin, but rather as an array of demonic temptations with the unifying end-goal of (...) interrupting the anchoritic ideal of sustained contemplation. (shrink)

Part intellectual autobiography and part exposition of complex yet contemporary economic ideas, this lively conversation with renowned scholar and public intellectual Kenneth J. Arrow focuses on economics and politics in light of history, current events, and philosophy as well. Reminding readers that economics is about redistribution and thus about how we treat each other, Arrow shows that the intersection of economics and ethics is of concern not just to economists but for the public more broadly. With a foreword by Amartya (...) Sen, this book highlights the belief that government can be a powerful force for good, and is particularly relevant in the current political climate and to the lay reader as well as the economist. (shrink)

J. David Archibald explores how Darwin first came to the conclusion that species had evolved in different regions throughout the world. Carefully retracing Darwin's gathering of evidence and the evolution of his thinking, Origins of Darwin's Evolution achieves a new understanding of how Darwin crafted his transformative theory.

It would be a mistake to attempt to identify in modern terms the disease of Galerius described so graphically by Lactantius, Mort. 33. Consumption by lice or worms, if not genital ‘gangrene’, was a typical end for a tyrant or the impious, and there must be an element of literary exaggeration in Lactantius' account. But whatever one makes of the nature of the illness, Lactantius did set out to give the passage a scientific plausibility by his use of technical medical (...) phraseology, and by an allusion to a medical theory at 33.7. Recognition of this theory allows one to settle the text at one point, where editors have failed to agree. There is also a second place in the chapter where familiarity with medical Latin points one towards the solution of a textual problem. (shrink)

The demonstration by E. Wölfflin that between theHistoriesandAnnalsTacitus progressed towards a more archaic and artificial style is well known. From the outset Tacitus adhered to the traditional Roman view that history should be composed in an archaic language remote from everyday usage ; but he was apparently at first not fully aware of the possibilities of the archaizing style. New archaisms and artificial usages suggested themselves as he advanced ; and others, which he had used sporadically even early in theHistories, (...) were allowed to oust ordinary alternatives completely. (shrink)

Takeuti introduced an infinitary proof system for determinate logic and showed that for transitive models of Zermelo-Fraenkel set theory with the Axiom of Dependent Choice that contain all reals, the cut-elimination theorem is equivalent to the Axiom of Determinacy, and in particular contradicts the Axiom of Choice. We consider variants of Takeuti's theorem without assuming the failure of the Axiom of Choice. For instance, we show that if one removes atomic formulae of infinite arity from the language of Takeuti's proof (...) system, then cut elimination is equivalent to a determinacy hypothesis provable, e.g., in ZFC + “there are infinitely many Woodin cardinals.” A slight extension of the proof system admits cut elimination for countable sequents under the same assumptions. A simple modification of the proof system yields analogs of the results above for the Axiom of Real Determinacy and uncountably many Woodin cardinals. (shrink)

This essay answers the question: Which are the themes often considered as “Philosophy of Law” that are of concern to legal scholars? My answer seeks to sort out how the “thematic content” has become into what today is known as “Philosophy of Law” to legal scholars (against “Philosophy of Law” to philosophers). To deal with this question I will consider Norberto Bobbio’s point of view.Resumen:En este texto trato de responder a la pregunta: ¿cuáles son los temas calificados generalmente como “de (...) filosofía del derecho” que nos interesan a los juristas? Mi respuesta se dirige a desgranar cómo se ha ido construyendo el “contenido temático” más habitual que hoy identifica a la filosofía del derecho de los juristas (frente a la filosofía del derecho de los filósofos). Para tratar esta cuestión examino el punto de vista de Norberto Bobbio. En nuestro tiempo, dicha perspectiva constituye el punto de partida en la discusión de cuáles son los ámbitos problemáticos más habituales de la reflexión teórico-jurídica. (shrink)

This essay subjects to criticism the historical and philosophical attitudes to political thought found in the writings of John Dunn and Michael Oakeshott. The essay does not limit itself to criticism but attempts to elaborate what is indicated by criticism for the sake of the modern understanding of political thought. The argument is that history and philosophy as they have recently been practised suffer from limitations that can only be addressed by a recognition of something which is here called theology. (...) The significance of such a recognition is considered with regard to the history of political thought, political philosophy and finally to theology itself. The emphasis on theology makes it necessary to say that the essay is written for the benefit of historians and philosophers, not theologians. Although it is an argument for theology it is in no sense an argument from theology. Whether this is a contradictory position may require consideration elsewhere; but since the essay is a first step rather than a final step in an argument, it may gain more than it loses by such a contradiction, if there is one. (shrink)

High quality images sell products. Here's how you do it. From cereal boxes to billboards to photos on Amazon, product photos have a strong impact on viewers. Now you can master the secrets of effective product photography with this essential guide. Author J. Dennis Thomas guides you through the basics, from selecting the right equipment and practicing different lighting techniques to controlling exposure, using backgrounds and props, and much more. Whether it's jewelry, food, fashion, or other products, learn how to (...) photograph for effective selling, while building the skills and tools you need for a career. Explains how to produce quality photos for product or commercial photography, including fashion, food, jewelry, technology, and more The author is a professional photographer whose work has been published in major U.S. magazines including Rolling Stone, Elle, W Magazine, and US Weekly Covers choosing the right equipment, practicing different lighting techniques, controlling exposure, using backgrounds and props, and more Gives new and even experienced photographers the tools they need to build careers in product photography Take photographs that impress, intrigue, dazzle, and sell with The Art and Style of Product Photography. (shrink)

As a graduate student it was with great pleasure that I learned that John Watkins had decided to thank me publicly for helping him with a paper on Kuhn’s view.1 The help, such as I could give, was in Popper’s seminar, twenty-five years ago. Watkins himself, and several others, contributed much more to the seminar than I did. (The seminar was run on the principle — to repeat J.O. Wisdom’s quip — “thou shalt not speak whilst I interrupt”). Watkins was (...) not just kind but generous in thanking me and I appreciated it very much then, as a mere graduate student. But over the years, I find that I appreciate it even more, especially as I compare it with practice common among philosophers. It is ironic that by the time Watkins’ paper appeared (something resembling his view had by then already become the official reading of Kuhn’s views among philosophers of science) my own views about Kuhn’s book had changed. (shrink)

Taking Blair’s recent contribution to the debate about the triad as its starting point, the article discusses and challenges attempts to reduce the intricate relationship between rhetoric, dialectic and logic to a trichotomy with watertight compartments or to separate them with a single clear-cut criterion. I argue that efforts to pinpoint an essential difference, among the various typical differences partly grounded in disciplinary traditions, obscure the complexities within the fields. As a consequence, crosscutting properties of the fields as well as (...) the possibilities for theoretical bridging between them are neglected. (shrink)